1. Symposium on Automatic Demonstration
پدیدآورنده : Symposium on Automatic Demonstration, Versailles
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Automatic theorem proving- Congresses
رده :
QA
3
.
L28
no
.
125
